On the M −1 norm and Equation 2 in [Barbicˇ et alJernej Barbiˇc Fun Shing Sin Eitan Grinspun Supplementary material to “Interactive Editing of Deformable Simulations”

Source URL: run.usc.edu

GGobi: Evolving from XGobi into an Extensible Framework for Interactive Data Visualization Deborah F. Swayne a Duncan Temple Lang b Andreas Buja c Dianne Cook d

Source URL: ggobi.org

Plume Tracker: Interactive Mapping of Atmospheric Plumes via GPU-based Volumetric Ray Casting Alexander (Lex) Berk, Chona S. Guiang, Rosemary G. Kennett and Tim C. Perkins Spectral Sciences, Inc. (SSI), Burlington, MA

Source URL: hyspiri.jpl.nasa.gov

Patterns and Performance of a CORBA Event Service for Large-scale Distributed Interactive Simulations Carlos O’Ryan and Douglas C. Schmidt J. Russell Noseworthy

Source URL: www.cs.wustl.edu

6th ERCIM Workshop "User Interfaces for All" Interactive Poster Age-related differences in Driver-INFO2000 interaction A. Toffetti, E. Nodari, C. Zoldan, A. De Angeli†, W. Gerbino‡

Source URL: www.ui4all.gr

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

International Journal of Artificial Intelligence and Interactive Multimedia, Vol. 3, Nº4 Towards a better learning models through OCWs and MOOCs A. Cordero, C. Jordán, E. Sanabria-Codesal and Juan R. Torregrosa Univer

Source URL: www.ijimai.org

Not in your average attorney’s briefcase But then, our firm has never been average. Take for instance the use of high-technology in the courtroom. In 1993 our firm was the first to use interactive laser-disks and bar-c

Source URL: www.fridrichdesign.com

Capturing and Supporting the Analysis Process N. Kadivar, V. Chen, D. Dunsmuir, E. Lee, C. Qian, J. Dill, C. Shaw, R. Woodbury School of Interactive Arts and Technology Simon Fraser University

Source URL: czsaw.iat.sfu.ca

LOWBROW, HIGH ART: WHY BIG FINE ART DOESN’T UNDERSTAND INT ERACTIVITY. T H E M E XI. H I G H A R T /L O W C U L T U R E – T H E F U T U R E O F M E D I A A R T SCIENCES? Author: Andrew Polaine, College of Fine Arts,

Source URL: www.polaine.com

• Art genres
• New media
• Design
• Humancomputer interaction
• Contemporary art
• Interactivity
• Interactive art
• Interaction design
• Multimedia
• Interaction
• Antirom
• Interactive media